搜索包含 Logics of Programs Workshop (1983 : Carnegie Mellon University) 的图书 - 暨南大学图书馆

大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Logics of Programs Workshop (1983 : Carnegie Mellon University) 的图书(共3598本)

	Record of the 11th Symposium on Electron, Ion, and Laser Beam Technology : Boulder, Colorado, 12-14 May 1971 0 索取号：TN14-53/E801/11 作者：Symposium on Electron、 Ion、 and Laser Beam Technology (11th : 1971 : University of Colorado)、Thornley、 R. F. M. (Richard Frank Maute)、 1933-、IEEE Group on Electron Devices.、American Vacuum Society.、University of Colorado (Boulder campus)、出版社：San Francisco, Calif. : San Francisco Press, c1971.		Record of the 10th symposium on electron, ion, and laser beam technology 0 索取号：TN14-53/E801/10 作者：IEEE Symposium on Electron、 Ion、 and Laser Beam Technology (10th : 1969 : Gaithersburg、 Md.)、Marton、 L. (Ladislaus)、 1901-、Institute of Electrical and Electronics Engineers.、American Vacuum Society.、University of Maryland、 College Park.、United States. National Bureau of Standards.、出版社：San Francisco : San Francisco Press, [c1969].
	Proceedings of the Joint I.E.R.E.-I.Prod.E.-I.E.E. Conference on the Integration of Design and Production in the Electronics Industry, Monday, 10th July to Thursday, 13th July, 1967 at the University of Nottingham 0 索取号：TN102-53/E701.r/1967 作者：Joint I.E.R.E.-I.Prod.E.-I.E.E. Conference on the Integration of Design and Production in the Electronics Industry (1967 : University of Nottingham)、Institution of Electronic and Radio Engineers.、Institution of Production Engineers (Great Britain)、Institution of Electrical Engineers. Electronics Division.、出版社：London : Institution of Electronic and Radio Engineers, c1968.		Proceedings of MELECON '83 : Mediterranean Electrotechnical Conference, Athens, Greece, 24-26 May, 1983 0 索取号：TN1-53/E902/1983.2 作者：Mediterranean Electrotechnical Conference (1983 : Athens、 Greece)、Protonotarios、 E.N.、出版社：[S.l. : s.n.], [198-?].
	Proceedings of MELECON '83 : Mediterranean Electrotechnical Conference, Athens, Greece, 24-26 May, 1983 0 索取号：TN1-53/E902/1983.1 作者：Mediterranean Electrotechnical Conference (1983 : Athens、 Greece)、Protonotarios、 E.N.、出版社：[S.l. : s.n.], [198-?].		IEEE Eascon 83 : technology shaping the future : 16th annual Electronics and Aerospace Conference and Exposition, the Shoreham Hotel, Washington, DC, September 19-21, 1983 0 索取号：TN-53/E902/16 作者：Electronics and Aerospace Systems Conference (16th : 1983 : Washington、 D.C.)、Institute of Electrical and Electronics Engineers. Washington Section.、IEEE Aerospace and Electronic Systems Society.、出版社：New York : Institute of Electrical and Electronics Engineers, 1983.
	Open to Talent : The centenary history of the university of Tasmania 1890-1990 0 索取号：G649.611.8/E20031 作者：Davis、 Richard、出版社：Tasmania : Hobart university of Tasmania, 1990		The Cross The Flag and the Bomb : Anerican Catholics debate war and peace, 1960-1983 0 索取号：D771.263/E20031 作者：AU、 William A.、出版社：Connecticut : Greenwood Press, 1985.
	International Workshop on Discrete Mathematics and Algorithms = IWDMA'94ŁŁ国际离散数学与算法硏讨会文集 0 索取号：O158-532/E20041/1994 作者：International Workshop on Discrete Mathematics and Algorithms (Guangzhou : December、1994)、Su、 Yunlin(苏运霖)、出版社：Guangzhou : Jinan University Press, 1994.		Computational structural dynamics : proceedings of the international workshop Computational Structural Dynamics at Iziis, Skopje, Republic of Macedonia, 22-24 February,2001 0 索取号：TU311-532/E20043/2001 作者：出版社：Lisse ; Exton, PA : Balkema, 2002.
	Proceedings of the First Asian Computational Fluid Dynamics Conference : 16-19 January,1995, Hong Kong. v. 2 0 索取号：O35/E20043/1.2 作者：W. H. Hui、 Yue-Kuen Kwok and J. R. Chasnov、Asian Computational Fluid Dynamics Conference (1st : 1995 : Hong Kong University of Science & Technology、Hong Kong)、Hui、 Wai-haan.、Kwok、 Yue-kuen.、Chasnov、 J.R.、Hong Kong University of Science and Technology. Dept. of Mathematics.、Asian Computational Fluid Dynamics Society.、出版社：Hong Kong : Dept. of Mathematics, the Hong Kong University of Science & Technology, 1995.		Proceedings of the 43rd IEEE Midwest Symposium on Circuits and Systems : August 8-11, 2000, Lansing Convention Center, Lansing, MI 0 索取号：TN7-53/E20071/43.3 作者：Midwest Symposium on Circuits and Systems (43rd : 2000 : Lansing、 Mich.)、IEEE Circuits and Systems Society.、Michigan State University. Dept. of Electrical Engineering.、出版社：[New York] : Institute of Electrical and Electronics Engineers, c2000.
	Proceedings of the 43rd IEEE Midwest Symposium on Circuits and Systems : August 8-11, 2000, Lansing Convention Center, Lansing, MI 0 索取号：TN7-53/E20071/43.2 作者：Midwest Symposium on Circuits and Systems (43rd : 2000 : Lansing、 Mich.)、IEEE Circuits and Systems Society.、Michigan State University. Dept. of Electrical Engineering.、出版社：[New York] : Institute of Electrical and Electronics Engineers, c2000.		Proceedings of the 43rd IEEE Midwest Symposium on Circuits and Systems : August 8-11, 2000, Lansing Convention Center, Lansing, MI 0 索取号：TN7-53/E20071/43.1 作者：Midwest Symposium on Circuits and Systems (43rd : 2000 : Lansing、 Mich.)、IEEE Circuits and Systems Society.、Michigan State University. Dept. of Electrical Engineering.、出版社：[New York] : Institute of Electrical and Electronics Engineers, c2000.
	Proceedings of the Twentieth Midwest Symposium on Circuits and Systems, August 15-17, 1977, Texas Tech University 0 索取号：TN7-53/E20071 作者：Midwest Symposium on Circuits and Systems (20th : 1977 : Texas Tech University)、Chao、 K. S.、Saeks、 Richard、 1941-、出版社：North Hollywood, Calif. : Distributed by Western Periodicals Co., c1977.		Proceedings Eleventh Annual Allerton Conference on Circuit and System Theory 0 索取号：TM13-53/E801/1973 作者：Allerton Conference on Circuit and System Theory.、University of Illinois (Urbana-Champaign campus). Dept. of Electrical Engineering、出版社：New York : IEEE, 1973.

	Record of the 11th Symposium on Electron, Ion, and Laser Beam Technology : Boulder, Colorado, 12-14 May 1971 0 索取号：TN14-53/E801/11 作者：Symposium on Electron、 Ion、 and Laser Beam Technology (11th : 1971 : University of Colorado)、Thornley、 R. F. M. (Richard Frank Maute)、 1933-、IEEE Group on Electron Devices.、American Vacuum Society.、University of Colorado (Boulder campus)、出版社：San Francisco, Calif. : San Francisco Press, c1971.		Record of the 10th symposium on electron, ion, and laser beam technology 0 索取号：TN14-53/E801/10 作者：IEEE Symposium on Electron、 Ion、 and Laser Beam Technology (10th : 1969 : Gaithersburg、 Md.)、Marton、 L. (Ladislaus)、 1901-、Institute of Electrical and Electronics Engineers.、American Vacuum Society.、University of Maryland、 College Park.、United States. National Bureau of Standards.、出版社：San Francisco : San Francisco Press, [c1969].
	Proceedings of the Joint I.E.R.E.-I.Prod.E.-I.E.E. Conference on the Integration of Design and Production in the Electronics Industry, Monday, 10th July to Thursday, 13th July, 1967 at the University of Nottingham 0 索取号：TN102-53/E701.r/1967 作者：Joint I.E.R.E.-I.Prod.E.-I.E.E. Conference on the Integration of Design and Production in the Electronics Industry (1967 : University of Nottingham)、Institution of Electronic and Radio Engineers.、Institution of Production Engineers (Great Britain)、Institution of Electrical Engineers. Electronics Division.、出版社：London : Institution of Electronic and Radio Engineers, c1968.		Proceedings of MELECON '83 : Mediterranean Electrotechnical Conference, Athens, Greece, 24-26 May, 1983 0 索取号：TN1-53/E902/1983.2 作者：Mediterranean Electrotechnical Conference (1983 : Athens、 Greece)、Protonotarios、 E.N.、出版社：[S.l. : s.n.], [198-?].
	Proceedings of MELECON '83 : Mediterranean Electrotechnical Conference, Athens, Greece, 24-26 May, 1983 0 索取号：TN1-53/E902/1983.1 作者：Mediterranean Electrotechnical Conference (1983 : Athens、 Greece)、Protonotarios、 E.N.、出版社：[S.l. : s.n.], [198-?].		IEEE Eascon 83 : technology shaping the future : 16th annual Electronics and Aerospace Conference and Exposition, the Shoreham Hotel, Washington, DC, September 19-21, 1983 0 索取号：TN-53/E902/16 作者：Electronics and Aerospace Systems Conference (16th : 1983 : Washington、 D.C.)、Institute of Electrical and Electronics Engineers. Washington Section.、IEEE Aerospace and Electronic Systems Society.、出版社：New York : Institute of Electrical and Electronics Engineers, 1983.
	Open to Talent : The centenary history of the university of Tasmania 1890-1990 0 索取号：G649.611.8/E20031 作者：Davis、 Richard、出版社：Tasmania : Hobart university of Tasmania, 1990		The Cross The Flag and the Bomb : Anerican Catholics debate war and peace, 1960-1983 0 索取号：D771.263/E20031 作者：AU、 William A.、出版社：Connecticut : Greenwood Press, 1985.
	International Workshop on Discrete Mathematics and Algorithms = IWDMA'94ŁŁ国际离散数学与算法硏讨会文集 0 索取号：O158-532/E20041/1994 作者：International Workshop on Discrete Mathematics and Algorithms (Guangzhou : December、1994)、Su、 Yunlin(苏运霖)、出版社：Guangzhou : Jinan University Press, 1994.		Computational structural dynamics : proceedings of the international workshop Computational Structural Dynamics at Iziis, Skopje, Republic of Macedonia, 22-24 February,2001 0 索取号：TU311-532/E20043/2001 作者：出版社：Lisse ; Exton, PA : Balkema, 2002.
	Proceedings of the First Asian Computational Fluid Dynamics Conference : 16-19 January,1995, Hong Kong. v. 2 0 索取号：O35/E20043/1.2 作者：W. H. Hui、 Yue-Kuen Kwok and J. R. Chasnov、Asian Computational Fluid Dynamics Conference (1st : 1995 : Hong Kong University of Science & Technology、Hong Kong)、Hui、 Wai-haan.、Kwok、 Yue-kuen.、Chasnov、 J.R.、Hong Kong University of Science and Technology. Dept. of Mathematics.、Asian Computational Fluid Dynamics Society.、出版社：Hong Kong : Dept. of Mathematics, the Hong Kong University of Science & Technology, 1995.		Proceedings of the 43rd IEEE Midwest Symposium on Circuits and Systems : August 8-11, 2000, Lansing Convention Center, Lansing, MI 0 索取号：TN7-53/E20071/43.3 作者：Midwest Symposium on Circuits and Systems (43rd : 2000 : Lansing、 Mich.)、IEEE Circuits and Systems Society.、Michigan State University. Dept. of Electrical Engineering.、出版社：[New York] : Institute of Electrical and Electronics Engineers, c2000.
	Proceedings of the 43rd IEEE Midwest Symposium on Circuits and Systems : August 8-11, 2000, Lansing Convention Center, Lansing, MI 0 索取号：TN7-53/E20071/43.2 作者：Midwest Symposium on Circuits and Systems (43rd : 2000 : Lansing、 Mich.)、IEEE Circuits and Systems Society.、Michigan State University. Dept. of Electrical Engineering.、出版社：[New York] : Institute of Electrical and Electronics Engineers, c2000.		Proceedings of the 43rd IEEE Midwest Symposium on Circuits and Systems : August 8-11, 2000, Lansing Convention Center, Lansing, MI 0 索取号：TN7-53/E20071/43.1 作者：Midwest Symposium on Circuits and Systems (43rd : 2000 : Lansing、 Mich.)、IEEE Circuits and Systems Society.、Michigan State University. Dept. of Electrical Engineering.、出版社：[New York] : Institute of Electrical and Electronics Engineers, c2000.
	Proceedings of the Twentieth Midwest Symposium on Circuits and Systems, August 15-17, 1977, Texas Tech University 0 索取号：TN7-53/E20071 作者：Midwest Symposium on Circuits and Systems (20th : 1977 : Texas Tech University)、Chao、 K. S.、Saeks、 Richard、 1941-、出版社：North Hollywood, Calif. : Distributed by Western Periodicals Co., c1977.		Proceedings Eleventh Annual Allerton Conference on Circuit and System Theory 0 索取号：TM13-53/E801/1973 作者：Allerton Conference on Circuit and System Theory.、University of Illinois (Urbana-Champaign campus). Dept. of Electrical Engineering、出版社：New York : IEEE, 1973.